1. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
پدیدآورنده : sponsored by ACM SIGPLAN & ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، Debugging in computer science
رده :
QA
76
.
9
.
D43A23
2005
2. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
پدیدآورنده : editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67I53
2005
3. HOPL III
پدیدآورنده : sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- History, Congresses.
4. ISESE '06 : Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering, September 21-22, 2006, Rio de Janeiro, Brazil
پدیدآورنده : Sponsored by : IEEE Computer Society, SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
I553
2006
5. PASTE'07 : proceedings of the 2007 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools & Engineering, San Diego, California, USA, June 13-14, 2007
پدیدآورنده : sponsored by: ACM SIGPLAN & ACM SIGSOFT; and supported by: Center for Software Excellence, Microsoft Corporation
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2007
6. Proceedings Second International Workshop on Software Engineering for Parallel and Distributed Systems, May 17-18, 1997, Boston, MA, USA
پدیدآورنده : sponsored by ACM SIGSOFT and IEEE Computer Society; in cooperation with International Federation for Information Processing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Parallel processing )Electronic computers(,Distributed processing - Congresses ، Electronic data processing,Development - Congresses ، Computer software
رده :
QA
76
.
58
.
I5768
1997
7. Proceedings of FMSP'00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA'00
پدیدآورنده : edited by Mats P. E. Heimdahl; sponsored by ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
D47W64
2000
8. Proceedings of the Fifth International Workshop on Software and Perfomance : WOSP'5, Palma, Illes Balears, Spain, July 12-14, 2005
پدیدآورنده : sponsored by Association for Computing Machinery SIGMETRICS and SIGSOFT, in cooperation with Computer Measurement Group )CMG(, IFIP WG 6.3 and 7.3
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
76
.
S95I698
2005
9. Proceedings of the Joint 10th European software Engineering Conference )ESEC( and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering )FSE-13(, September 5-9, 2005, Lisbon, Portugal
پدیدآورنده : edited by Harald Gall; sponsored by ACM SIGSOFT and CEPIS; with corporate support from ATX Software, Microsoft Portugal, TAP Portugal & Paperdyne; and additional support from the Open University, University of Zurich, Universidade Nova de Lisboa, Lisbon Tourism & Lisbon Council
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
E874
2005
10. Proceedings of the 24th International Conference on Software Engineering : ICSE 2002, May 19-25, 2002, Orlando, Florida
پدیدآورنده : Sponsored by ACM SIGSOFT, IEEE Computer Society Technical Council on Software Engineering, in Cooperation with ACM SIGPLAN
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
I5
2002
11. Proceedings of the third international workshop on software and performance: WOSP 2002, Rome, Italy, July 24-26, 2002
پدیدآورنده : sponsored by ACM SIGMETRICS and SIGSOFT with financial assistance from MICROSOFT and ERICSSON LAB Italy
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
76
.
S95I698
2002
12. Proceedings 12th IEEE International Conference Automated Software Engineering, November, 1-5, 1997, Incline Village, Nevada; USA
پدیدآورنده : sponsored by IEEE Computer Society, NASA Ames Research Center; in cooperation with AAAI, ACM SIGART and SIGSOFT with generous support from Microsoft
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
7
.
I33
1997
13. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
14. UIST'01 : proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, Orlando, Florida, November 11-14, 2001
پدیدآورنده : Sponsored by ACM SIGGRAPH, ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2001
15. UIST'00 : proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, San Diego, California, November 5-8, 2000
پدیدآورنده : sponsored by ACM SIGGRAPH and ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Interactive computer systems,Congresses ، Computer software
رده :
QA
76
.
9
.
U83A23
2000
16. WISER 2004 : ACM Workshop on Interdisciplinary Software Engineering Research : co-located with SIGSOFT 2004/FSE-12; November 5, 2004, Newport Beach, California, USA
پدیدآورنده : sponsored by SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
A284
2004
17. #16th Annual International Conference on Automated Software Engineering
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM SIGSoft, ACM SIGArt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I54
،#
2001
